Corollary 2.1.4

The unitary group in is connected, in other words